141. Formal approaches to Agent - based systems
پدیدآورنده : / Michael G.Hinchey......[and other]
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Intelligent control systems - congresses,Software engineering - congresses
رده :
629
.
8028
F723
142. Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
پدیدآورنده : Michael G. Hinchey... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Intelligent control systems,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3228
143. Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
پدیدآورنده : Michael G. Hinchey ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Intelligent control systems,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2699
144. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
پدیدآورنده : / Kung-Kiu Lau, Richard Banach (eds.),Portion of Title:7th International Conference on Formal Engineering Methods.
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Formal methods (Computer science)--Congresses,Software engineering--Congresses
رده :
QA76
.
9
.
F67
I57
145. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
پدیدآورنده : Kung-Kiu Lau, Richard Banach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3785
146. Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
پدیدآورنده : Jim Davies, Wolfram Schulte, Mike Barnett )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3308
147. Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
پدیدآورنده : Chris George, Huaikou Miao )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2495
148. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
پدیدآورنده : Jin Song Dong, Jim Woodcock )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2885
149. Formal methods at the crossroads :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses ;
150. Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
پدیدآورنده : Bernhard K. Aichernig, Tom Maibaum )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2757
151. Formal methods for industrial critical systems :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
152. Formal methods for multicore programming
پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرمافزار -- تولید -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
153. Foundations of Software Science and Computation Structures
پدیدآورنده : \ Andrew Pitts (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : System analysis -- Congresses.,Computer software -- Congresses. ,Software engineering -- Congresses. ,تجزیه و تحلیل سیستمها -- کنگره ها ,نرمافزار رایانه ای -- کنگره ها,نرمافزار -- مهندسی -- کنگرهها
رده :
QA76
.
751
.
F67
2015
E-Book
,
154. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
155. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
156. Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 1999 : proceedings
پدیدآورنده : C. Pandu Rangan, V. Raman, R. Ramanujam )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1738
157. Foundations of software technology and theoretical computer science: 18th conference, Chennai, India, December 17-19, 1999: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
758
.
C684
1998
158. Fourth IEEE International Symposium and Forum on Software Engineering Standards ]ISESS'99[: ]Best software practices for the internet age[: Curitiba, Brazil, May 17-21, 1999
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Standards-- Congresses ، Software engineering
رده :
QA
76
.
758
.
S648
1999